#include "constants.h"
#include "types.h"
#include "defs.h"
#include "mm.h"
#include "x86.h"
#include "proc.h"

int sys_fork(void) {
	return fork();
	return 0;
}

int sys_getpid(void) {
	return proc->pid;
}

int sys_print(void) {
	char *str;
	int pid;
	if (argstr(0, &str) < 0)
		return -1;
	if (argint(1, &pid) < 0)
		return -1;

	printk(str, pid, cpu->id);
	return 0;
}

